Moschovakis, Yiannis N. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (86)
Les plus populaires
Liste
- Liste
- Tableau

1

A Logical Calculus of Meaning and Synonymy

Yiannis N. Moschovakis

Journal:

Linguistics and Philosophy

Année:

2006

Langue:

english

Fichier:

PDF, 598 KB

english, 2006

2

Computabilityby Douglas S. Bridges

Review by: Yiannis N. Moschovakis

Journal:

American Mathematical Monthly

Année:

1995

Langue:

english

Fichier:

PDF, 236 KB

english, 1995

3

Hyperanalytic Predicates

Yiannis N. Moschovakis

Journal:

Transactions of the American Mathematical Society

Année:

1967

Langue:

english

Fichier:

PDF, 2.96 MB

english, 1967

4

The Suslin-Kleene theorem for countable structures

Moschovakis, Yiannis N.

Journal:

Duke Mathematical Journal

Année:

1970

Langue:

english

Fichier:

PDF, 1.13 MB

english, 1970

5

Kleene's Amazing Second Recursion Theorem

Moschovakis, Yiannis N.

Journal:

Bulletin of Symbolic Logic

Année:

2010

Langue:

english

Fichier:

PDF, 469 KB

english, 2010

6

Computability. By Douglas S. Bridges

Moschovakis, Yiannis N.

Journal:

American Mathematical Monthly

Année:

1995

Langue:

english

Fichier:

PDF, 499 KB

english, 1995

7

Two theorems about projective sets

Alexander S. Kechris, Yiannis N. Moschovakis

Journal:

Israel Journal of Mathematics

Année:

1972

Langue:

english

Fichier:

PDF, 338 KB

english, 1972

8

[Mathematical Sciences Research Institute Publications] Logic from Computer Science Volume 21 || Reals and Forcing with an Elementary Topos

Moschovakis, Yiannis N.

Année:

1992

Langue:

english

Fichier:

PDF, 1.24 MB

english, 1992

9

Quelques Pseudo-Paradoxes de la "Calculabilité Effective."by Jean Porte;An Argument Against the Plausibility of Church's Thesisby László Kalmár;Rekursivität und Konstruktivitätby Rózsa Péter;On Some Recent Criticism of Church's Thesisby Elliott Mendelson

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1968

Langue:

english

Fichier:

PDF, 374 KB

english, 1968

10

The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic

John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen and Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1979

Langue:

english

Fichier:

PDF, 334 KB

english, 1979

11

The Axiom of Choice and the Class of Hyperarithmetic Functionsby G. Kreisel

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1970

Langue:

english

Fichier:

PDF, 382 KB

english, 1970

12

The logic of recursive equations

Hurkens, A. J. C., McArthur, Monica, Moschovakis, Yiannis N., Moss, Lawrence S., Whitney, Glen T.

Journal:

Journal of Symbolic Logic

Année:

1998

Langue:

english

Fichier:

PDF, 1.75 MB

english, 1998

13

Meeting of the Association for Symbolic Logic, San Francisco, 1981

Barwise, Jon, Vaught, Robert, Moschovakis, Yiannis

Journal:

Journal of Symbolic Logic

Année:

1983

Langue:

english

Fichier:

PDF, 745 KB

english, 1983

14

Arithmetic complexity

Dries, Lou Van Den, Moschovakis, Yiannis N.

Journal:

ACM Transactions on Computational Logic

Année:

2009

Langue:

english

Fichier:

PDF, 365 KB

english, 2009

15

The Formal Language of Recursion

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 720 KB

english, 1989

16

Hierarchies of Effective Descriptive Set Theory.by Peter G. Hinman

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1972

Langue:

english

Fichier:

PDF, 238 KB

english, 1972

17

The Game Quantifier

Yiannis N. Moschovakis

Journal:

Proceedings of the American Mathematical Society

Année:

1972

Langue:

english

Fichier:

PDF, 205 KB

english, 1972

18

Intuitionism and effective descriptive set theory

Moschovakis, Joan R., Moschovakis, Yiannis N.

Journal:

Indagationes Mathematicae

Année:

2017

Langue:

english

Fichier:

PDF, 811 KB

english, 2017

19

[Studies in Logic and the Foundations of Mathematics] Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities Volume 59 || Determinacy and Prewellorderings of the Continuum

Moschovakis, Yiannis n.

Année:

1970

Langue:

english

Fichier:

PDF, 1.78 MB

english, 1970

20

Abstract Recursion and Intrinsic Complexity || Lower bounds from division and multiplication

Moschovakis, Yiannis N.

Année:

2018

Langue:

english

Fichier:

PDF, 123 KB

english, 2018

21

Computable concurrent processes

Yiannis N. Moschovakis

Journal:

Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 1.43 MB

english, 1995

22

Classical descriptive set theory as a refinement of effective descriptive set theory

Yiannis N. Moschovakis

Journal:

Annals of Pure and Applied Logic

Année:

2010

Langue:

english

Fichier:

PDF, 315 KB

english, 2010

23

On primitive recursive algorithms and the greatest common divisor function

Yiannis N. Moschovakis

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 341 KB

english, 2003

24

Preface

Joan Bagaria, Yiannis Moschovakis, Margarita Otero, Ivan Soskov

Journal:

Annals of Pure and Applied Logic

Année:

2011

Langue:

english

Fichier:

PDF, 128 KB

english, 2011

25

A model of concurrency with fair merge and full recursion

Yiannis N. Moschovakis

Journal:

Information and Computation

Année:

1991

Langue:

english

Fichier:

PDF, 2.70 MB

english, 1991

26

[Lecture Notes in Mathematics] Cabal Seminar 76–77 Volume 689 || On Vaught's conjecture

Kechris, Alexander S., Moschovakis, Yiannis N.

Année:

1978

Langue:

english

Fichier:

PDF, 709 KB

english, 1978

27

[Lecture Notes in Mathematics] Cabal Seminar 79–81 Volume 1019 || Introduction to Q-Theory

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Année:

1983

Langue:

english

Fichier:

PDF, 2.81 MB

english, 1983

28

[Mathematical Sciences Research Institute Publications] Logic from Computer Science Volume 21 || Computability and Complexity of Higher Type Functions

Moschovakis, Yiannis N.

Année:

1992

Langue:

english

Fichier:

PDF, 2.06 MB

english, 1992

29

Some Consequences of the Axiom of Definable Determinateness

J. W. Addison and Yiannis N. Moschovakis

Journal:

Proceedings of the National Academy of Sciences

Année:

1968

Langue:

english

Fichier:

PDF, 232 KB

english, 1968

30

Effective Operations and Partial Recursive Functionalsby G. Kriesel; D. Lacombe; J. Shoenfield;Partial Recursive Functionals and Effective Operationsby G. Kreisel; D. Lacombe; J. R. Shoenfield

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1966

Langue:

english

Fichier:

PDF, 289 KB

english, 1966

31

Global Inductive Definability

Jon Barwise and Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1978

Langue:

english

Fichier:

PDF, 324 KB

english, 1978

32

Abstract Computability and Invariant Definability

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1969

Langue:

english

Fichier:

PDF, 2.56 MB

english, 1969

33

Meeting of the Association for Symbolic Logic

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1969

Langue:

english

Fichier:

PDF, 1.19 MB

english, 1969

34

On the Notational Independence of Various Hierarchies of Degrees of Unsolvabilityby Gustav Hensel; Hilary Putnam

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1967

Langue:

english

Fichier:

PDF, 328 KB

english, 1967

35

Quelques Procédés de Définition en Topologie Récursive.by Daniel Lacombe

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1966

Langue:

english

Fichier:

PDF, 306 KB

english, 1966

36

Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchyby G. Kreisel

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1970

Langue:

english

Fichier:

PDF, 221 KB

english, 1970

37

Perfect Subsets of Definable Sets of Real Numbers.by Richard Mansfield

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1975

Langue:

english

Fichier:

PDF, 84 KB

english, 1975

38

A Proof of Mansfield's Theorem by Forcing Method.by Yoemon Sampei

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1975

Langue:

english

Fichier:

PDF, 84 KB

english, 1975

39

Recursive Pseudo-well-Orderings.by Joseph Harrison

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Année:

1972

Langue:

english

Fichier:

PDF, 372 KB

english, 1972

40

A Logical Calculus of Meaning and Synonymy

Yiannis N. Moschovakis

Journal:

Linguistics and Philosophy

Année:

2006

Langue:

english

Fichier:

PDF, 5.46 MB

english, 2006

41

Abstract First Order Computability. I

Yiannis N. Moschovakis

Journal:

Transactions of the American Mathematical Society

Année:

1969

Langue:

english

Fichier:

PDF, 825 KB

english, 1969

42

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - The Axiomatic Derivation of Absolute Lower Bounds

Moschovakis, Yiannis N.

Année:

2008

Langue:

english

Fichier:

PDF, 125 KB

english, 2008

43

Is the Euclidean Algorithm Optimal among Its Peers?

Lou van den Dries and Yiannis N. Moschovakis

Journal:

Bulletin of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 519 KB

english, 2004

44

[Lecture Notes in Mathematics] Cabal Seminar 76–77 Volume 689 || Wadge degrees and descriptive set theory

Kechris, Alexander S., Moschovakis, Yiannis N.

Année:

1978

Langue:

english

Fichier:

PDF, 735 KB

english, 1978

45

[Lecture Notes in Mathematics] Cabal Seminar 77 – 79 Volume 839 || The axiom of determinacy, strong partition properties and nonsingular measures

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Année:

1981

Langue:

english

Fichier:

PDF, 818 KB

english, 1981

46

The formal language of recursion

Moschovakis, Yiannis N.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1.93 MB

english, 1989

47

[Lecture Notes in Mathematics] Cabal Seminar 79–81 Volume 1019 || More saturated ideals

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Année:

1983

Langue:

english

Fichier:

PDF, 932 KB

english, 1983

48

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Computable process

Moschovakis, Yiannis N.

Année:

1990

Langue:

english

Fichier:

PDF, 938 KB

english, 1990

49

KLEENE'S AMAZING SECOND RECURSION THEOREM

YIANNIS N. MOSCHOVAKIS

Journal:

Bulletin of Symbolic Logic

Année:

2010

Langue:

english

Fichier:

PDF, 3.31 MB

english, 2010

50

[Lecture Notes in Mathematics] Cabal Seminar 77 – 79 Volume 839 || Π 2 1 monotone inductive definitions

Kechris, Alexander S., Martin, Donald A., Moschovakis, Yiannis N.

Année:

1981

Langue:

english

Fichier:

PDF, 675 KB

english, 1981